حكم أولي - من أراد أن لا يضلّ في معرفة أنّ الحكم أوّلي فيجب إذا كان الحكم مقارنا لمعان مختلفة أن يمتحن أوّلية الحكم بأن يرفع جملة المعاني إلّا واحدا منها ويبدّل ذلك الواحد دائما . فأما إذا ثبت وبطلت البواقي ثبت الحكم ؛ وإن ارتفع وإن بقيت البواقي - إن أمكن ذلك - ارتفع الحكم ، فالحكم له أوّلا . مثال هذا : مثلث متساوي الساقين من نحاس ، وهو أيضا شكل . فإذا رفعت تساوى الساقين وكونه من نحاس وأثبت المثلث ، وجدت كون ثلاث زوايا منه مساويا لقائمتين ثابتا . ولو أمكن أن يرتفع معنى الشكل ويبقى المثلث ، كان الحكم ثابتا ؛ ولكن إنّما لا يبقى لأنّ المثلث لا يبقى ، ثم إذا رفعت المثلث وبقي الشكل لم يبق هذا الحكم . فمن جانب تساوي الساقين وكونه من نحاس ، تجد الحكم ثابتا مع رفع الأمرين وإثبات المثلث . ومن جانب الشكل تجد الحكم مرتفعا مع وضع الأمرين ورفع المثلث ، فيجتمع من الامتحانين أن الحكم كلّي للمثلث لا غير ( س ، ب ، 94 ، 1 ) حكم بالانفصال - قوله ليس البتّة إذا كان كذا كان كذا هو الحكم بالانفصال والعناد ( ب ، م ، 78 ، 7 ) حكم بايجاب كلي - الحكم بالإيجاب الكليّ على الموضوع الكلّي قولك في الحمليّات : كل إنسان حيوان ، فقد أوجبت الحيوانيّة على كل واحد مما يوصف بأنّه إنسان ( س ، ع ، 45 ، 13 ) حكم بسلب كلي - ( الحكم ) بالسلب الكليّ على الموضوع الكليّ قولك : ليس ولا واحد من الناس بحجر ( س ، ع ، 46 ، 3 ) حكم بسيط - الحكم البسيط لفظ دالّ على أن الشيء موجود أو غير موجود على حسب قسمة الأزمان ( أ ، ع ، 65 ، 3 ) - الحكم البسيط هو الذي يدل على أنّ شيئا موجودا لشيء أوليس بموجود له ( س ، ع ، 42 ، 13 ) - الحكم البسيط يشبه الإيجاب منه حمل شيء على شيء ، والسلب انتزاع شيء من شيء ( ش ، ع ، 89 ، 2 ) - الحكم البسيط . . . لفظ يدلّ على أن الشيء موجود أو غير موجود ( ش ، ع ، 89 ، 3 ) حكم بطرف راجح - الحكم بالطرف الراجح : إمّا أن يقارنه الحكم بامتناع المرجوح . أو لا يقارنه : بل يقارن تجويزه . والأول : هو ( الحكم ) الجازم . والثاني : هو ( الحكم ) المظنون الصرف ( ط ، ش ، 171 ، 11 ) حكم بالعناد - الحكم بالعناد في المنفصلة يسمّى إيجابا ( ب ، م ، 73 ، 15 ) حكم جازم - الحكم بالطرف الراجح : إمّا أن يقارنه الحكم بامتناع المرجوح . أو لا يقارنه : بل يقارن